/*
 * ModelCC, distributed under ModelCC Shared Software License, www.modelcc.org
 */


package test.languages.worklanguage;

import java.util.HashSet;

import org.modelcc.Constraint;
import org.modelcc.IModel;

public class Ini61 implements IModel {

    public HashSet<Ino1> a;

    @Constraint
    private boolean run() {
        return true;
    }
}
